Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին
1
Combinatory Logic.

Combinatory Logic.

Տարի:
1972
Լեզու:
english
Ֆայլ:
PDF, 20.47 MB
0 / 0
english, 1972
2
A theory of formal deducibility

A theory of formal deducibility

Տարի:
1957
Լեզու:
english
Ֆայլ:
DJVU, 1.60 MB
0 / 0
english, 1957
3
A theory of formal deducibility

A theory of formal deducibility

Տարի:
1957
Լեզու:
english
Ֆայլ:
DJVU, 1.31 MB
0 / 0
english, 1957
4
Outlines of a formalist philosophy of mathematics

Outlines of a formalist philosophy of mathematics

Տարի:
1951
Լեզու:
english
Ֆայլ:
DJVU, 467 KB
0 / 0
english, 1951